1. A Decade of Concurrency Reflections and Perspectives :
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
2. A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
803
3. Bifurcations in Flow Patterns :
پدیدآورنده : by P.G. Bakker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.,Mechanics.,Physics.
رده :
QA911
.
B974
1991
4. Bifurcations in flow patterns : some applications of the qualitative theory of differential equations in fluid dynamics
پدیدآورنده : Bakker, P G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Fluid dynamics,، Differential equations -- Numerical solutions,، Bifurcation theory
رده :
QA
911
.
B255
1991
5. Current trends in concurrency :
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
6. Current trends in concurrency : overviews and tutorials
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
224
7. Current trends in concurrency : overviews and tutorials
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
224
8. Foundations of object-oriented languages :
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Langages à objets (Informatique) -- Congrès.,Langages de programmation -- Congrès.,Object-oriented programming languages -- Congresses.
رده :
QA76
.
64
J834
1991
9. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
10. LANDOLT-BORNSTEIN Numerical Data and Functional Relationships in Sciencea nd Technology Group III: Crystal and Solid State Physics Volume 26 : Diffusion in Solid Metals and Alloys
پدیدآورنده : Bakker, H., Bonzel, H.P., Bruff, C.M., Dayananda, M.A., Gust, W., Horvath, J., Kaur, I., Kidson, G.V., LeClaire, A.D., Mehrer, H., Murch, G.E., Neumann, G., Stolica, N., Stolwijk, N.A.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Diffusion,، Kirkendall effect,، Solid state physics
رده :
QC
176
.
8
.
D5
M45
1990
11. Linear time, branching time, and partial order in logics and models for concurrency :
پدیدآورنده : J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
5
.
L523
1989
12. Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Neherlands May 30-June 3, 1988
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
354
13. New Perspectives and Approaches in Plant Growth-Promoting Rhizobacteria Research
پدیدآورنده : edited by P. A. H. M. Bakker, J. M. Raaijmakers, G. Bloemberg, M. Höfte, P. Lemanceau, B. M. Cooke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bacteriology.,Life sciences.,Plant diseases.
14. Real-Time:
پدیدآورنده : edited by J.W. Bakker, C. Huizing, W.P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
15. Semantics:
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
16. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
17. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
